A Small Reflection Principle for Bounded Arithmetic
نویسندگان
چکیده
We investigate the theory IAo + Q, and strengthen [Bu86. Theorem 8.6] to the following: if NP 7 co-NP. then 1-completeness for witness comparison foumulas is not provable in bounded arithmetic.
منابع مشابه
Cuts and overspill properties in models of bounded arithmetic
In this paper we are concerned with cuts in models of Samuel Buss' theories of bounded arithmetic, i.e. theories like $S_{2}^i$ and $T_{2}^i$. In correspondence with polynomial induction, we consider a rather new notion of cut that we call p-cut. We also consider small cuts, i.e. cuts that are bounded above by a small element. We study the basic properties of p-cuts and small cuts. In particula...
متن کاملOn ground fields of arithmetic hyperbolic reflection groups
Using authors’s methods of 1980, 1981, some explicit finite sets of number fields containing ground fields of arithmetic hyperbolic reflection groups are defined, and good bounds of their degrees (over Q) are obtained. For example, degree of the ground field of any arithmetic hyperbolic reflection group in dimension at least 6 is bounded by 56. These results could be important for further class...
متن کاملOn fields of definition of arithmetic Kleinian reflection groups
We show that degrees of the real fields of definition of arithmetic Kleinian reflection groups are bounded by 35.
متن کاملApproximate counting by hashing in bounded arithmetic
We show how to formalize approximate counting via hash functions in subsystems of bounded arithmetic, using variants of the weak pigeonhole principle. We discuss several applications, including a proof of the tournament principle, and an improvement on the known relationship of the collapse of the bounded arithmetic hierarchy to the collapse of the polynomial-time hierarchy.
متن کامل$(varphi_1, varphi_2)$-variational principle
In this paper we prove that if $X $ is a Banach space, then for every lower semi-continuous bounded below function $f, $ there exists a $left(varphi_1, varphi_2right)$-convex function $g, $ with arbitrarily small norm, such that $f + g $ attains its strong minimum on $X. $ This result extends some of the well-known varitional principles as that of Ekeland [On the variational principle, J. Ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 59 شماره
صفحات -
تاریخ انتشار 1994